8.2.1 Files

Myron provides an interface to the file system for the purpose of managing several types of files: pages, books, rules and html.

• A page is a collection of expressions and their replay lists. Page files use the file extension .myron. Opening a page file replaces the entire workspace with the expressions in the page file.
• A book is a compressed archive whose internal structure conforms to the Myron reader specification. Books use the file extension .mbk.
• A rules file contains XML conforming to the specification for substitution (see §3.3.4.5) and transformation rules (see §3.3.5.1). Opening a rules file adds its contents to the permanent rules.
• An html file contains text with standard HTML markup. Opening a file with the .html extension displays the file in the book reader. Text within expr elements is interpreted as Myron expression source and is displayed as Myron expressions in the book reader.

The file-system interface allows you to create new pages and arrange pages in folders. In the desktop version of Myron, files can be imported and exported via host file-system tools. In the Android version, files can be downloaded from Dropbox and websites and imported from email attachments.

New Folder	Rename	Remove	Cut	Copy	Paste	Save	New Page	Merge	Load	Send	Dropbox

The active and inactive expressions on the algebra display along with their respective replay lists constitute a page.

To save a page to an existing file,

System Files , then expand Contents and select a file with the .myron extension. Finally, . The contents of the file will be overwritten and the file becomes the selected file.

To save a page to a file that does not yet exist,

use System Files , then expand Contents and select a folder. Touch the new-file icon and enter a file name (The extension .myron will be supplied.) Then select the new file and .

To load a page,

System Files , select a file and .

To merge a page,

System Files , select a file and . The contents of the selected file will be added to the workspace. This may cause expressions to appear on top of each other, since their workspace positions will have been saved in the file.

To remove a file or empty folder,

select the file and .

To create a folder ,

select a parent folder and . Provide a folder name and Create .

To move a file or folder ,

select it and . Notice the action bar changes so that only two command icons are visible. Select any other folder use to complete the move or to cancel.

To copy a file or folder ,

select it and . Notice the action bar changes so that only two command icons are visible. Select any other folder use to complete the copy or to cancel.

To rename a file or folder ,

select it and . Provide a new name. If the extension on a book or page is changed, the file will no longer be readable.

To send a file via email,

select the file and

To download a file from Dropbox,

select an Android folder and touch . The first time you do this, you will be asked to confirm dropbox access and provide credentials. In any case, the standard Dropbox interface called a chooser is presented, allowing you to browse Dropbox folders. In chooser, selecting a file causes the file to be downloaded and stored in the selected Android folder.

To upload a file to Dropbox,

select a file and touch . The file will be uploaded to your Dropbox repository and placed in a folder named MyronAlgebra. The path to the Android file will be reproduced in the repository.